Decidability of Trajectory-Based Equations
نویسندگان
چکیده
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the operations of concatenation, insertion, shuffle, quotient, sequential and scattered deletion, as well as many others. Our results are constructive in the sense that if a solution exists, it can be effectively represented. We show both positive and negative decidability results.
منابع مشابه
Numerical solution of higher index DAEs using their IAE's structure: Trajectory-prescribed path control problem and simple pendulum
In this paper, we solve higher index differential algebraic equations (DAEs) by transforming them into integral algebraic equations (IAEs). We apply collocation methods on continuous piece-wise polynomials space to solve the obtained higher index IAEs. The efficiency of the given method is improved by using a recursive formula for computing the integral part. Finally, we apply the obtained algo...
متن کاملRobust Sliding Mode Controller for Trajectory Tracking and Attitude Control of a Nonholonomic Spherical Mobile Robot
Based on dynamic modeling, robust trajectory tracking control of attitude and position of a spherical mobile robot is proposed. In this paper, the spherical robot is composed of a spherical shell and three independent rotors which act as the inner driver mechanism. Owing to rolling without slipping assumption, the robot is subjected to two nonholonomic constraints. The state space representatio...
متن کاملTrajectory Optimization of Cable Parallel Manipulators in Point-to-Point Motion
Planning robot trajectory is a complex task that plays a significant role in design and application of robots in task space. The problem is formulated as a trajectory optimization problem which is fundamentally a constrained nonlinear optimization problem. Open-loop optimal control method is proposed as an approach for trajectory optimization of cable parallel manipulator for a given two-end-po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 345 شماره
صفحات -
تاریخ انتشار 2004